Simple Causal Minimizations for Temporal Persistence and Projection

نویسنده

  • Brian A. Haugh
چکیده

Formalizing temporal persistence and solving the temporal projection problem within traditional non-monotonic logics is shown possible through two different approaches, neither of which re. special minimization techniques. $$$z~~ potential causes is shown to yield a type of temporal persistence that is useful for the temporal projection problem, although it differs significantly from the ordinary conception of temporal persistence. A conception of determined causes is then developed whose minimization does yield the results preferred by ordinary temporal persistence. Finally, previous approaches to formalizing temporal persistence using chronological minimizations are shown inadequate for certain classes of scenarios, which causal minimizations formalize correctly.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Persistence and probabilistic projection

Predicting the future is an essential component of decisionmaking. In most situations, however, there is not enough information to make accurate predictions. A theory of causal reasoning for predictive inference under uncertainty is developed. A common type of prediction that involves reasoning about persistence is emphasized whether or not a proposition once made true remains true at some late...

متن کامل

The Evolution of the Cyc Methodology

ions (that is, have to create O(n ⋅ m ) objects) using the set-of-points-based abstraction; using the interval-based formalism, we Articles 46 AI MAGAZINE . . . by associating temporal extents with objects as opposed to reifications of propositions, we get a certain added expressiveness. Associated with each ground formula is an interval of persistence. Thus, if we knew that Fred was happy at t...

متن کامل

The Evolution of the Cyc Methodology

ions (that is, have to create O(n ⋅ m ) objects) using the set-of-points-based abstraction; using the interval-based formalism, we Articles 46 AI MAGAZINE . . . by associating temporal extents with objects as opposed to reifications of propositions, we get a certain added expressiveness. Associated with each ground formula is an interval of persistence. Thus, if we knew that Fred was happy at t...

متن کامل

Probabilistic causal reasoning

Predicting the future is an essential compo­ nent of decision making. In most situations, however, there is not enough information to make accurate predictions. In this paper, we develop a theory of causal reasoning for pre­ dictive inference under uncertainty. We em­ phasize a common type of prediction that in­ volves reasoning about persistence: whether or not a proposition once made true rem...

متن کامل

Causal Theories of Action: A Computational Core

We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regression under various assumptions. As it turned out, even the simplest one among them, one-step temporal projection with complete initial state, is intractable. We also briefly consider an extension of the framework to allow...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1987